%% TeX macros to handle latexinfo files %% \include{ 5 page GNU copyleft here } % Copyright (C) 1985, 1986 Richard M. Stallman % Copyleft (C) 1988, 1989, 1990, 1991 Michael E. Clarkson \def\latexinfoversion{1.7} \message{Loading Latexinfo package [Version \latexinfoversion]:} \message{} \setcounter{tocdepth}{2} \setcounter{secnumdepth}{3} \def\textfraction{.1} \def\bottomfraction{.9} % was .3 \def\topfraction{.9} \newcommand{\BibTeX}{{\sc Bib}\TeX} \def\oddfoot#1{\def\@oddfoot{#1}} \def\evenfoot#1{\def\@evenfoot{#1}} % Save some parts of plain latex whose names we will redefine. \let\ptexlbrace=\{ \let\ptexrbrace=\} \let\ptexdot=\. \let\ptexstar=\* \let\ptexend=\end \let\ptexbullet=\bullet \let\ptexb=\b \let\ptexc=\c \let\ptexi=\i \let\ptext=\t \let\ptexl=\l \let\ptexL=\L \let\ptexdq=\" \def\pline{\hbox to\hsize} \def\pleftline#1{\pline{#1\hss}} \def\prightline#1{\pline{\hss#1}} \def\centerline#1{\pline{\hss#1\hss}} \def\tie{\penalty 10000\ } % Save plain tex definition of ~. \let\normal=\normalsize \message{Basics,} \chardef\other=12 \hyphenation{ap-pen-dix} \hyphenation{mini-buf-fer mini-buf-fers} % Parse an argument, then pass it to #1. % The argument can be delimited with [...] or with "..." or braces % or it can be a whole line. % #1 should be a macro which expects % an ordinary undelimited TeX argument. \def\parsearg #1{\let\next=#1\begingroup\obeylines\futurelet\temp\parseargx} \def\parseargx{% \ifx \obeyedspace\temp \aftergroup\parseargdiscardspace \else% \aftergroup \parseargline % \fi \endgroup} {\obeyspaces % \gdef\parseargdiscardspace {\begingroup\obeylines\futurelet\temp\parseargx}} \gdef\obeyedspace{\ } \def\parseargline{\begingroup \obeylines \parsearglinex} {\obeylines % \gdef\parsearglinex #1^^M{\endgroup \next {#1}}} \def\flushcr{\ifx\par\lisppar \def\next##1{}\else \let\next=\relax \fi \next} % Single-spacing is done by various environments. \newskip\singlespaceskip \singlespaceskip = \baselineskip \def\singlespace{% {\advance \baselineskip by -\singlespaceskip \kern \baselineskip}% \baselineskip=\singlespaceskip \def\arrow{$\rightarrow$} % Used to generate quoted braces. \def\mylbrace {{\tt \char '173}} \def\myrbrace {{\tt \char '175}} \let\{=\mylbrace \let\}=\myrbrace % \: forces normal size whitespace following. \def\:{\spacefactor=1000 } % \* forces a line break. \def\*{\hfil\break} % \. is an end-of-sentence period. \def\.{.\spacefactor=3000 } % \w prevents a word break \def\w#1{\hbox{#1}} % \need space-in-mils % forces a page break if there is not space-in-mils remaining. \newdimen\mil \mil=0.001in \def\need#1{\par % % This method tries to make TeX break the page naturally % if the depth of the box does not fit. {\baselineskip=0pt% \vtop to #1\mil{\vfil}\kern -#1\mil\penalty 10000 \prevdepth=-1000pt % \br forces paragraph break \let\br = \par % \dots{} output some dots \def\dots{$\ldots$} % \page forces the start of a new page %\def\page{\clearpage} % \exdent text.... % outputs text on separate line in roman font, starting at standard page margin \def\exdent{\errmessage{\back exdent in filled text}} % \lisp, etc, define \exdent locally from \internalexdent {\obeyspaces \gdef\internalexdent{\exdentzzz}} \def\exdentzzz#1{{\advance \leftskip by -\lispnarrowing \advance \hsize by -\leftskip \advance \hsize by -\rightskip \leftline{{\rm#1}}}} % \sp n outputs n lines of vertical space \def\sp#1{\par\vskip #1\baselineskip\relax} % \comment ...line which is ignored... % \c is the same as @comment % \begin{ignore} ... \end{ignore} is another way to write a comment \def\comment{\parsearg \commentxxx} \def\commentxxx #1{} \let\c=\comment % Some texinfo constructs that are trivial in tex % \newenvironment{iftex}{\relax}{\relax} % \newcommand{\iflatex}{} % \newcommand{\endiflatex}{} \def\iftex{\relax} \let\endiftex=\relax \catcode`@=11 \message{menus,} {\catcode`\^^M=13 \gdef\@gobblecr{\@ifnextchar {\@gobble}{\ignorespaces}}} \chardef\active=13 {\catcode`\ =\active\gdef\@vobeyspaces{\catcode`\ \active \let \@xobeysp}} \begingroup \catcode `|=0 \catcode `[= 1 \catcode`]=2 \catcode `\{=12 \catcode `\}=12 \catcode`\\=12 |gdef|@xmenu#1\end{menu}[|end[menu]] |gdef|@xifinfo#1\end{ifinfo}[|end[ifinfo]] |gdef|@xignore#1\end{ignore}[|end[ignore]] |endgroup \def\@menu{\begingroup \@tempswafalse \def\par{\if@tempswa\hbox{}\fi\@tempswatrue\@@par} \obeylines \let\do\@makeother \dospecials} \def\menu{\@menu\@xmenu } \let\endmenu=\endgroup \def\ifinfo{\@menu\@xifinfo } \let\endifinfo=\endgroup \def\ignore{\@menu\@xignore } \let\endignore=\endgroup % 18-Mar-91 by Niels : % Now you can use ",>,<,_,| in nodenames. % The macros % \node, \nodezzz, \pxref, \xref, \xrefX % were changed, % \label, \newlabel, \@testdef, % were copied from latex.sty and slightly modified, % new introduced are % \@label, \@newlabel, \@@testdef, \@pxref, \@xref, % \@ascii@doublequote, \@ascii@gtr, \@ascii@less, % \@ascii@underscore, \@ascii@pipe, % \@normal@doublequote, \@normal@gtr, \@normal@less, % \@normal@underscore, \@normal@pipe, % \doxrefnormalise, \doxrefspecials. % To achieve this the above listed chars were catcoded to active % chars. For labelnames (written on the aux-file) the CHAR's % macro is set to \@ascii@CHAR % (i.e. self-insert-command respectively \catcode`\CHAR=12) % using \@doxrefspecials. % For Topics printed on paper the CHAR's macro is set to the % \@normal@CHAR % (i.e. the current macrodefinition of CHAR) % using \@doxrefnormalise. \def\node{% \begingroup % 18-Mar-91, Niels \doxrefspecials % 18-Mar-91, Niels \parsearg\nodezzz} \def\nodezzz#1{\nodexxx [#1,]\endgroup} % \endgroup added 18-Mar-91, Niels \def\nodexxx[#1,#2]{\gdef\lastnode{#1}} %\def\node#1#2#3#4{\gdef\lastnode{#1}} \let\lastnode=\relax \def\label{\begingroup\doxrefspecials\@label} % 18-Mar-91, Niels \def\@label#1{% this is mostly \label of latex.sty 18-Mar-91, Niels \@bsphack\if@filesw {\let\thepage\relax \def\protect{\noexpand\noexpand\noexpand}% \xdef\@gtempa{\write\@auxout{\string \newlabel{#1}{{\@currentlabel}{\thepage}}}}}\@gtempa \if@nobreak\ifvmode\nobreak\fi\fi\fi\@esphack \endgroup}% \endgroup added, 18-Mar-91, Niels \def\newlabel{\begingroup\doxrefspecials\@newlabel} % 18-Mar-91, Niels \def\@newlabel#1#2{% this is mostly \newlabel of latex.sty 18-Mar-91, Niels \@ifundefined{r@#1}{}{\@warning{Label `#1' multiply defined}}\global\@namedef{r@#1}{#2}% \endgroup} % \endgroup added, 18-Mar-91, Niels \def\@testdef{\begingroup\doxrefspecials\@@testdef} % 18-Mar-91, Niels \def\@@testdef #1#2#3{% this is mostly \@testdef of latex.sty 18-Mar-91, Niels \def\@tempa{#3}% \expandafter \ifx \csname #1@#2\endcsname \@tempa \else \@tempswatrue \fi \endgroup} % \endgroup added, 18-Mar-91, Niels \let\refill=\relax \let\alwaysrefill=\relax \def\setfilename#1{} \def\paragraphindent#1{} \def\footnotestyle#1{} %\def\do{\noexpand\do\noexpand} %\edef\@preamblecmds{\@preamblecmds \do \setfilename footnotestyle} \def\inforef #1{\inforefzzz #1,,,,**} \def\inforefzzz #1,#2,#3,#4**{\@@See{} Info file \file{\losespace#3{}}, node `\losespace#1{}'} \def\losespace #1{#1} \message{fonts,} \font\egttt = cmtt8 % typewriter \hyphenchar\egttt = -1 % suppress hyphenation in \tt font \font\nintt = cmtt9 % typewriter \hyphenchar\nintt = -1 % suppress hyphenation in \tt font \font\tentt = cmtt10 % typewriter \hyphenchar\tentt = -1 % suppress hyphenation in \tt font \font\elvtt = cmtt10 scaled \magstephalf % typewriter \hyphenchar\elvtt = -1 % suppress hyphenation in \tt font \font\twltt = cmtt12 % typewriter \hyphenchar\twltt = -1 % suppress hyphenation in \tt font \global\hyphenchar\egttt = `\- \global\hyphenchar\nintt = `\- \global\hyphenchar\tentt = `\- \global\hyphenchar\elvtt = `\- \global\hyphenchar\twltt = `\- % Font-change commands. % Should depend on optional point size. %\font\defbf=cmbx10 scaled \magstep1 %was 1314 %\font\deftt=cmtt10 scaled \magstep1 \def\df{\bf\tt} \def\li{\sf} %% Add scribe-like font environments, plus \l for inline lisp (usually sans %% serif) and \ii for TeX italic % \smartitalic{ARG} outputs arg in italics, followed by an italic correction % unless the following character is such as not to need one. \def\smartitalicx{\ifx\next,\else\ifx\next-\else\ifx\next.\else\/\fi\fi\fi} \def\smartitalic#1{{\sl #1}\futurelet\next\smartitalicx} \let\i=\smartitalic \let\var=\smartitalic \let\dfn=\smartitalic \let\emph=\smartitalic \def\b#1{{\bf #1}} \let\strong=\b \def\t#1{{\tt \exhyphenpenalty=10000\rawbackslash \frenchspacing #1}\null} \def\key#1{{\tt \exhyphenpenalty=10000\uppercase{#1}}\null} \def\ctrl#1{$\uparrow${\tt #1}} %\def\ctrl#1{{\tt \rawbackslash \hat}#1} \def\samp #1{`\tclose{#1}'\null} \let\file=\samp % \code is a modification of \t, % which makes spaces the same size as normal in the surrounding text. \newdimen\tclosesave \newdimen\tcloserm \def\tclose#1{{\rm \tcloserm=\fontdimen2\font \tt \tclosesave=\fontdimen2\font \fontdimen2\font=\tcloserm % prevent breaking lines at hyphens. \exhyphenpenalty=10000 \def\ {{\fontdimen2\font=\tclosesave{} }}% \rawbackslash \frenchspacing #1\fontdimen2\font=\tclosesave}\null} \let\code=\tclose % \kbd is like \code, except that if the argument is just one \key command, % then \kbd has no effect. \def\xkey{\key} \def\kbdfoo#1#2#3\par{\def\one{#1}\def\three{#3}\def\threex{??}% \ifx\one\xkey\ifx\threex\three \key{#2}% \else\tclose{\look}\fi \else\tclose{\look}\fi} \def\kbd#1{\def\look{#1}\expandafter\kbdfoo\look??\par} % Typeset a dimension, e.g., `in' or `pt'. The only reason for the % argument is to make the input look right: \dmn{pt} instead of % \dmn{}pt. \def\dmn#1{\thinspace #1} \def\l#1{{\li #1}\null} \def\r#1{{\rm #1}} \def\scap#1{{\sc #1}} \def\ii#1{{\it #1}} \def\n#1{{\normalsize #1}} \def\bullet{$\ptexbullet$} \def\labelitemi{$\ptexbullet$} \def\minus{$-$} % Make altmode in file print out right \catcode `\^^[=\active \def^^[{$\diamondsuit$} %%% Fancy boxes from texinfo-2.11.tex % Since these characters are used in examples, it should be an even number of % \tt widths. Each \tt character is 1en, so two makes it 1em. % Furthermore, these definitions must come after we define our fonts. \newbox\dblarrowbox \newbox\longdblarrowbox \newbox\pushcharbox \newbox\bullbox \newbox\equivbox \newbox\errorbox \let\ptexequiv = \equiv {\tentt \global\setbox\dblarrowbox = \hbox to 1em{\hfil$\Rightarrow$\hfil} \global\setbox\longdblarrowbox = \hbox to 1em{\hfil$\mapsto$\hfil} \global\setbox\pushcharbox = \hbox to 1em{\hfil$\dashv$\hfil} \global\setbox\equivbox = \hbox to 1em{\hfil$\ptexequiv$\hfil} % Adapted from the manmac format (p.420 of TeXbook) \global\setbox\bullbox = \hbox to 1em{\kern.15em\vrule height .75ex width .85ex depth .1ex\hfil} \def\point{$\star$} \def\result{\leavevmode\raise.15ex\copy\dblarrowbox} \def\expansion{\leavevmode\raise.1ex\copy\longdblarrowbox} \def\print{\leavevmode\lower.1ex\copy\pushcharbox} \def\equiv{\leavevmode\lower.1ex\copy\equivbox} % Does anyone really want this? % \def\bull{\leavevmode\copy\bullbox} % Adapted from the TeXbook's \boxit. {\tentt \global\dimen0 = 3em}% Width of the box. \dimen2 = .55pt % Thickness of rules % The text. (`r' is open on the right, `e' somewhat less so on the left.) \setbox0 = \hbox{\kern-.75pt \tensf error\kern-1.5pt} \global\setbox\errorbox=\hbox to \dimen0{\hfil \hsize = \dimen0 \advance\hsize by -5.8pt % Space to left+right. \advance\hsize by -2\dimen2 % Rules. \vbox{ \hrule height\dimen2 \hbox{\vrule width\dimen2 \kern3pt % Space to left of text. \vtop{\kern2.4pt \box0 \kern2.4pt}% Space above/below. \kern3pt\vrule width\dimen2}% Space to right. \hrule height\dimen2} \hfil} % The \error{} command. \def\error{\leavevmode\lower.7ex\copy\errorbox} \message{indexing,} % Index generation facilities % Define the texinfo user-accessible indexing commands for backwrds % compatability. \def\cindex{\cpindex} \def\pindex{\pgindex} \def\vindex{\vrindex} \def\tindex{\tpindex} \def\kindex{\kyindex} \def\findex{\fnindex} % \newindex {foo} defines an index named foo. % It automatically defines \fooindex such that % \fooindex ...rest of line... puts an entry in the index foo. % It also defines \fooindfile to be the number of the output channel for % the file that accumulates this index. The file's extension is foo. % The name of an index should be no more than 2 characters long % for the sake of vms. \def\newindex#1{\csname newindex#1\endcsname} % Yes I know this could be done shorter, but safer?? \def\newindexcp{\if@filesw \newwrite\@cpindexfile \immediate\openout\@cpindexfile=\jobname.cp \def\cpindex{\@bsphack\begingroup \def\protect####1{\string####1\space}\@sanitize \@wrindex\@cpindexfile}% \def\cpsubindex{\@bsphack\begingroup \def\protect####1{\string####1\space}\@sanitize \@wrsubindex\@cpindexfile}% \def\cpindexbold{\@bsphack\begingroup \def\protect####1{\string####1\space}\@sanitize \@wrindexbold\@cpindexfile} \typeout{Writing concepts index file \jobname.cp }% \fi} \def\cpindex{\@bsphack\begingroup \@sanitize\@index} \def\cpsubindex{\@bsphack\begingroup \@sanitize\@index} \def\cpindexbold{\@bsphack\begingroup \@sanitize\@index} \def\@wrindex#1#2{\let\thepage\relax \xdef\@gtempa{\write#1{\string \entry{#2}{\thepage}{#2}}}\endgroup \def\@tempa{}\def\thing{#2}\ifx\thing\@tempa\relax\else\@gtempa\fi \if@nobreak \ifvmode\nobreak\fi\fi\@esphack} \def\@wrindexbold#1#2{\let\thepage\relax \let\bf\relax \xdef\@gtempa{\write#1{\string \entry{#2}{\b{\thepage}}{#2}}}\endgroup \def\@tempa{}\def\thing{#2}\ifx\thing\@tempa\relax\else\@gtempa\fi \if@nobreak \ifvmode\nobreak\fi\fi\@esphack} \def\@wrsubindex#1#2#3{\let\thepage\relax \xdef\@gtempa{\write#1{\string \entry{#2 #3}{\thepage}{#2}{#3}}}\endgroup% \@gtempa \if@nobreak \ifvmode\nobreak\fi\fi\@esphack} \def\@index#1{\endgroup\@esphack} \def\pgindex{\@bsphack\begingroup \@sanitize\@index} \def\newindexpg{\if@filesw \newwrite\@pgindexfile \immediate\openout\@pgindexfile=\jobname.pg \def\pgindex{\@bsphack\begingroup \def\protect####1{\string####1\space}\@sanitize \@wrindex\@pgindexfile} \def\pgindexbold{\@bsphack\begingroup \def\protect####1{\string####1\space}\@sanitize \@wrindexbold\@pgindexfile} \typeout{Writing index file \jobname.pg }\fi} \def\pgindex{\@bsphack\begingroup \@sanitize\@index} \def\pgindexbold{\@bsphack\begingroup \@sanitize\@index} \def\newindexvr{\if@filesw \newwrite\@vrindexfile \immediate\openout\@vrindexfile=\jobname.vr \def\vrindex{\@bsphack\begingroup \def\protect####1{\string####1\space}\@sanitize \@wrindex\@vrindexfile} \def\vrindexbold{\@bsphack\begingroup \def\protect####1{\string####1\space}\@sanitize \@wrindexbold\@vrindexfile} \typeout{Writing variable index file \jobname.vr }\fi} \def\vrindex{\@bsphack\begingroup \@sanitize\@index} \def\vrindexbold{\@bsphack\begingroup \@sanitize\@index} \def\newindextp{\if@filesw \newwrite\@tpindexfile \immediate\openout\@tpindexfile=\jobname.tp \def\tpindex{\@bsphack\begingroup \def\protect####1{\string####1\space}\@sanitize \@wrindex\@tpindexfile} \def\tpindexbold{\@bsphack\begingroup \def\protect####1{\string####1\space}\@sanitize \@wrindexbold\@tpindexfile} \typeout{Writing datatype index file \jobname.tp }\fi} \def\tpindex{\@bsphack\begingroup \@sanitize\@index} \def\tpindexbold{\@bsphack\begingroup \@sanitize\@index} \def\newindexky{\if@filesw \newwrite\@kyindexfile \immediate\openout\@kyindexfile=\jobname.ky \def\kyindex{\@bsphack\begingroup \def\protect####1{\string####1\space}\@sanitize \@wrindex\@kyindexfile}\typeout{Writing key index file \jobname.ky }\fi} \def\kyindex{\@bsphack\begingroup \@sanitize\@index} \def\kyindexbold{\@bsphack\begingroup \@sanitize\@index} \def\newindexfn{\if@filesw \newwrite\@fnindexfile \immediate\openout\@fnindexfile=\jobname.fn \def\fnindex{\@bsphack\begingroup \def\protect####1{\string####1\space}\@sanitize \@wrindex\@fnindexfile} \def\fnindexbold{\@bsphack\begingroup \def\protect####1{\string####1\space}\@sanitize \@wrindexbold\@fnindexfile} \typeout{Writing function index file \jobname.fn }\fi} \def\fnindex{\@bsphack\begingroup \@sanitize\@index} \def\fnindexbold{\@bsphack\begingroup \@sanitize\@index} % \synindex{foo}{bar} makes index foo feed into index bar. \def\synindex#1#2{\expandafter\xdef \csname @#1index\endcsname{% \noexpand\csname @#2index\endcsname}% \expandafter \chardef \csname @#1indexfile\endcsname=\csname @#2indexfile\endcsname} % \syncodeindex{foo}{bar} similar, but put all entries made for index foo % inside bold. \def\syncodeindex#1#2{% \expandafter\let\expandafter\synindexfoo\expandafter=\csname#2indfile\endcsname \expandafter\let\csname#1indfile\endcsname=\synindexfoo \expandafter\xdef\csname#1index\endcsname{% % Define \xxxindex \csname#1boldindex\endcsname{#2}}% % Define the macros used in formatting output of the sorted index material. % This is what you call to cause a particular index to get printed. % Write % \section*{Function Index} % \printindex{fn} \newskip\secondaryindent \secondaryindent=0.5cm \def\printindex#1{ \def\indexbackslash{\rawbackslashxx} \tolerance=9500 \advance\baselineskip -1pt \openin 1 \jobname.#1s \ifeof 1 \else \closein 1 \input \jobname.#1s % These macros are used by the sorted index file itself. % Change them to control the appearance of the index. \def\Dotsbox{\hbox to 1em{\hss.\hss}} % Used by index macros \def\initial#1{% {\bigbreak\pline{\large\bf#1\hfill}\kern 2pt\penalty3000}} \def\entry #1#2{ {\parfillskip=0in \parskip=0in \parindent=0in \small \hangindent=1in \hangafter=1% \noindent\hbox{#1}\leaders\Dotsbox\hskip 0pt plus 1filll\relax #2\par \def\primary #1{\pline{\small#1\hfil}} \def\secondary #1#2{ {\parfillskip=0in \parskip=0in \small \hangindent =1in \hangafter=1 \noindent\hskip\secondaryindent\hbox{#1}\leaders\Dotsbox\hskip 0pt plus 1filll#2\par %%% Args are the skip and penalty (usually negative) \def\dobreak#1#2{\par\ifdim\lastskip<#1\removelastskip\penalty#2\vskip#1\fi} \message{environments,} % \begin{tex} ... \end{tex} escapes into raw Tex temporarily. \def\tex{\begingroup \catcode `\\=0 \catcode `\{=1 \catcode `\}=2 \catcode `\$=3 \catcode `\&=4 \catcode `\#=6 \catcode `\^=7 \catcode `\_=8 \catcode `\~=13 \let~=\tie \catcode `\%=14 \catcode`\"=12 \catcode`\|=12 \catcode`\<=12 \catcode`\>=12 \let\{=\ptexlbrace \let\}=\ptexrbrace \let\.=\ptexdot \let\*=\ptexstar \let\bullet=\ptexbullet \let\b=\ptexb \let\c=\ptexc \let\i=\ptexi \let\t=\ptext \let\l=\ptexl \let\L=\ptexL \let\endtex=\endgroup} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % \cartouche: draw rectangle w/rounded corners around argument \font\circfont=lcircle10 \newdimen\circthick \newdimen\cartouter\newdimen\cartinner \newskip\normbskip\newskip\normpskip\newskip\normlskip \circthick=\fontdimen8\circfont \def\ctl{{\circfont\char'013\hskip -6pt}}% 6pt from pl file: 1/2charwidth \def\ctr{{\hskip 6pt\circfont\char'010}} \def\cbl{{\circfont\char'012\hskip -6pt}} \def\cbr{{\hskip 6pt\circfont\char'011}} \def\carttop{\hbox to \cartouter{\hskip\lskip \ctl\leaders\hrule height\circthick\hfil\ctr \hskip\rskip}} \def\cartbot{\hbox to \cartouter{\hskip\lskip \cbl\leaders\hrule height\circthick\hfil\cbr \hskip\rskip}} \newskip\lskip\newskip\rskip \long\def\cartouche{% \begingroup \lskip=\leftskip \rskip=\rightskip \leftskip=0pt\rightskip=0pt %we want these *outside*. \cartinner=\hsize \advance\cartinner by-\lskip \advance\cartinner by-\rskip \cartouter=\hsize \advance\cartouter by 18pt % allow for 3pt kerns on either % side, and for 6pt waste from % each corner char \normbskip=\baselineskip \normpskip=\parskip \normlskip=\lineskip \vbox\bgroup \baselineskip=0pt\parskip=0pt\lineskip=0pt \carttop \hbox\bgroup \hskip\lskip \vrule\kern3pt \vbox\bgroup \hsize=\cartinner \kern3pt \begingroup \baselineskip=\normbskip \lineskip=\normlskip \parskip=\normpskip \vskip -\parskip \def\endcartouche{% \endgroup \kern3pt \egroup \kern3pt\vrule \hskip\rskip \egroup \cartbot \egroup \endgroup % Define \lisp ... \endlisp. % Like example, but uses a smaller fixed-width font. % Wraps things in a \samepage. % Amount to narrow the margins by for \lisp. \newskip\lispnarrowing \lispnarrowing=\parindent % This is the definition that ^M gets inside \lisp % phr: changed space to \null, to avoid overfull hbox problems. {\obeyspaces% \gdef\lisppar{\null\endgraf}} % Cause \obeyspaces to make each Space cause a word-separation % rather than the default which is that it acts punctuation. % This is because space in tt font looks funny. {\obeyspaces % \gdef\sepspaces{\def {\ }}} \newskip\aboveenvskipamount \aboveenvskipamount= 0pt \def\aboveenvbreak{{\advance\aboveenvskipamount by \parskip \endgraf \ifdim\lastskip<\aboveenvskipamount \removelastskip \penalty-50 \vskip\aboveenvskipamount \fi}} \def\afterenvbreak{\endgraf \ifdim\lastskip<\aboveenvskipamount \removelastskip \penalty-50 \vskip\aboveenvskipamount \fi} %-----File: example.sty---------------------------------------------- % Copyright Denys Duchier, Yale University, 1988. % \begin{example}...\end{example} is very much like verbatim, except % that it doesn't change the meaning of \, { or }. This makes it % possible to include commands (such as font changes) in otherwise % verbatim text. % \begin{example*}{OFFSET}...\end{example*} is the same except that % everything is indented by OFFSET. This works even inside other list % environments. % inside example, you can use \begin{comment}...\end{comment} to % include normal TeX text. \begin{comment}[OFFSET] will offset the % comment by the specified offset. \newdimen\exampleleftmargin \exampleleftmargin\z@ \def\examplesavespecials{\let\xmpl@space\ \let\xmpl@dollar\$ \let\xmpl@amper\&\let\xmpl@hash\#\let\xmpl@caret\^\let\xmpl@cntlK\^^K \let\xmpl@dq\" \let\xmpl@underscore\_\let\xmpl@cntlA\^^A\let\xmpl@percent\% \let\xmpl@tilde\%} \def\examplerestorespecials{\let\ \xmpl@space\let\$\xmpl@dollar \let\&\xmpl@amper\let\#\xmpl@hash\let\^\xmpl@caret\let\^^K\xmpl@cntlK \let\"\xmpl@dq \let\_\xmpl@underscore\let\^^A\xmpl@cntlA\let\%\xmpl@percent \let\%\xmpl@tilde} \def\example@dospecials{\do\ \do\$\do\&\do\#\do\^\do\^^K\do\_\do\^^A\do\%\do\%} \def\example@verbatim{\let\comment\xmpl@comment\let\endcomment\xmpl@@endcomment \let\back\xmpl@back \list{}{\parsep\parskip \leftmargin\exampleleftmargin \labelwidth\z@ \itemindent\z@ \def\makelabel##1{##1}}\item[]\if@minipage\else\vskip\parskip\fi \leftskip\@totalleftmargin \rightskip\z@ \parindent\z@ \parfillskip\@flushglue \parskip\z@ \@tempswafalse \def\par{\if@tempswa\hbox{}\fi\@tempswatrue\@@par} \obeylines \ifcase \@ptsize\relax\tentt\or\elvtt\or\twltt\fi \hyphenpenalty=\@M \exhyphenpenalty=\@M \brokenpenalty=\@M \@noligs \examplesavespecials \let\do\@makeother\dospecials} {\catcode`\ =\active \@vobeyspaces \gdef\xmpl@back{ \let\@tempe \def\@tempa{\rawbackslashxx\@gobble}\def\@tempb{\rawbackslashxx}\futurelet\@tempc\@ifnch} \def\xmpl@comment{\@ifnextchar [{\xmpl@@comment}{\xmpl@@comment[0pt]}} \def\xmpl@@comment[#1]{\begingroup \examplerestorespecials \catcode`\ =10 \catcode`\^^M=5 \list{}{\leftmargin\exampleleftmargin \advance\leftmargin #1}\item[]\rm\ignorespaces} \def\xmpl@@endcomment{\endlist\endgroup\vskip-\baselineskip} \def\@example{% \ifcase \@ptsize\relax\tentt\or\elvtt\or\twltt\fi \let\dospecials\example@dospecials \example@verbatim\frenchspacing\@vobeyspaces} \def\example{\exampleleftmargin\lispnarrowing\@example} \let\endexample\endlist \@namedef{example*}#1{\exampleleftmargin#1\@example} \expandafter\let\csname endexample*\endcsname\endexample \def\@smallexample{% \ifcase \@ptsize\relax\nintt\or\tentt\or\elvtt\fi \let\dospecials\example@dospecials \example@verbatim\frenchspacing\@vobeyspaces} \def\smallexample{\exampleleftmargin\lispnarrowing\@smallexample} \let\endsmallexample\endlist \@namedef{smallexample*}#1{\exampleleftmargin#1\@smallexample} \expandafter\let\csname endsmallexample*\endcsname\endsmallexample \def\lisp{\example} \def\endlisp{\endexample} \def\smalllisp{\smallexample} \def\endsmalllisp{\endsmallexample} \def\@display{% \let\dospecials\example@dospecials \example@verbatim\frenchspacing\@vobeyspaces} \def\display{\exampleleftmargin\lispnarrowing\@display} \let\enddisplay\endlist \def\@format{% \let\dospecials\example@dospecials \example@verbatim\frenchspacing\@vobeyspaces} \def\format{\exampleleftmargin\z@\@format} \let\endformat\endlist \def\exdent#1{\hskip -\leftmargin \hbox{#1\hss}} %end -----File: example.sty---------------------------------------------- \newbox\@onepagebox \def\same{\global\setbox\@onepagebox\vbox\bgroup % \boxmaxdepth\z@ % commented out 15 Dec 87 % \hsize\columnwidth \@parboxrestore} \begin{minipage}[c]{\linewidth}} \def\endsame{\end{minipage}\par\vskip\z@\egroup % \ifdim \ht\@onepagebox >\textheight \ht\@onepagebox\textheight \fi \unvbox\@onepagebox} \newskip\ruletonoteskip \ruletonoteskip=6pt plus 3pt minus 1pt \newskip\ruletotextskip \ruletotextskip=10pt plus 12pt minus 2pt \newdimen\thinrule \thinrule=0.4pt \def\beforenoterule{\par\@tempskipb\lastskip \@tempdima\prevdepth \ifdim 0pt>\@tempdima \@tempdima=0pt\fi \ifdim 14pt>\@tempskipb \vskip-\@tempskipb \vskip 14pt \fi \kern-\@tempdima\nointerlineskip \hrule height \thinrule width 12pc \nobreak\vskip 16pt\vskip-\baselineskip\hbox{}\nobreak} \def\betweennoterule{\par\@tempskipb\lastskip \@tempdima\prevdepth \ifdim 0pt>\@tempdima \@tempdima=0pt\fi \nobreak \vskip-\@tempskipb \vskip 11pt \kern-\@tempdima\nointerlineskip \hrule height \thinrule width 12pc\penalty-500\vskip -\thinrule % The game here is to have *two* rules that normally coincide exactly, % but if a page break occurs between them then you get one at the % bottom of the first page and one at the top of the second page. \hrule height \thinrule width 12pc \nobreak\vskip 16pt\vskip-\baselineskip\hbox{}\nobreak} \def\afternoterule{\par\@tempskipb\lastskip \@tempdima\prevdepth \ifdim 0pt>\@tempdima \@tempdima=0pt\fi \nobreak \vskip-\@tempskipb \vskip 11pt \nobreak\kern-\@tempdima\nointerlineskip \hrule height \thinrule width 12pc \vskip 16pt} \def\afternoterule{\par\nobreak\vskip\ruletonoteskip \hrule height \thinrule width 12pc \vskip\ruletotextskip} \def\implementation{\par\small\noindent{\bf Implementation note:}} \def\endimplementation{\par} \def\rationale{\par\small\noindent{\bf Rationale:}} \def\endrationale{\par} \def\sideremark{\par\small\noindent{\bf Remark:}} \def\endsideremark{\par} \def\note{\par\small\noindent{\bf Note:}} \def\endnote{\par} \message{cross reference,} % Define cross-reference macros % \xref and \pxref generate cross references to specified points. \def\pxref{\begingroup\doxrefspecials\@pxref}% 18-Mar-91, Niels \def\@pxref #1{\@@see{} \xrefX [#1,,,,,,,]\endgroup}% 18-Mar-91, Niels \def\nxref{\begingroup\doxrefspecials\@nxref}% 18-Mar-91, Niels \def\@nxref #1{\xrefX [#1,,,,,,,]\endgroup}% 18-Mar-91, Niels \def\xref{\begingroup\doxrefspecials\@xref}% 18-Mar-91, Niels \def\@xref #1{\@@See{} \xrefX [#1,,,,,,,]\endgroup}% 18-Mar-91, Niels \def\MikesxrefX [#1,#2,#3,#4,#5,#6]{section \ref{#1} [% {\setbox0=\hbox{\losespace#3{}}% \ifdim \wd0 =0pt \losespace#1{}\else\unhbox0\fi}], page\tie \pageref{#1}} % In the following macro the sceleton isnt changed. % Instead of \setbox0 and \setbox1 the new boxes \@Topic and % \@APrintedManual are used. 18-Mar-91, Niels % Redefined out because it costs too many boxes 10-Nov-91 Mike. \newbox\@Topic \newbox\@APrintedManual \def\xrefX [#1,#2,#3,#4,#5,#6]{% \setbox\@Topic=\hbox{\i{\losespace#5{}}}% \setbox\@APrintedManual=\hbox{\losespace#3{}}% \ifdim \wd\@Topic =0pt \setbox\@Topic=\hbox{{\doxrefnormalise % some what tricky \losespace#1{}}}% \@@section{} % print section in all cases just as the manual says. % 18-Mar-91, Niels \ifdim \wd\@APrintedManual >0pt% \unhbox\@Topic{} in \unhbox\@APrintedManual% \else \ref{#1} [\unhbox\@Topic], \@@page\tie \pageref{#1}% \fi} \message{sectioning,} % Define chapters, sections, etc. \def\@chapter[#1]#2{\ifnum \c@secnumdepth >\m@ne \refstepcounter{chapter} \typeout{\@chapapp\space\thechapter.} \addcontentsline{toc}{chapter}{\protect \numberline{\thechapter}#1}\else \addcontentsline{toc}{chapter}{#1}\fi \chaptermark{#1} \ifx\lastnode\relax\else\label{\lastnode}\fi \let\lastnode=\relax \addtocontents{lof}{\protect\addvspace{10pt}} \addtocontents{lot}{\protect\addvspace{10pt}} \if@twocolumn \@topnewpage[\@makechapterhead{#2}] \else \@makechapterhead{#2} \@afterheading \fi} \def\@schapter#1{\if@twocolumn \@topnewpage[\@makeschapterhead{#1}] \else \@makeschapterhead{#1} \@afterheading\fi} \def\@sect#1#2#3#4#5#6[#7]#8{\ifnum #2>\c@secnumdepth \def\@svsec{}\else \refstepcounter{#1} \edef\@svsec{\csname the#1\endcsname\hskip 1em }\fi \@tempskipa #5\relax \ifdim \@tempskipa>\z@ \begingroup #6\relax \@hangfrom{\hskip #3\relax\@svsec}{\interlinepenalty \@M #8\par} \endgroup \csname #1mark\endcsname{#7}\addcontentsline {toc}{#1}{\ifnum #2>\c@secnumdepth \else \protect\numberline{\csname the#1\endcsname}\fi #7}\else \def\@svsechd{#6\hskip #3\@svsec #8\csname #1mark\endcsname {#7}\addcontentsline {toc}{#1}{\ifnum #2>\c@secnumdepth \else \protect\numberline{\csname the#1\endcsname}\fi #7}}\fi \ifx\lastnode\relax\else\label{\lastnode}\fi \let\lastnode=\relax \@xsect{#5}} % Unnumbered \def\unnumbered#1{\chapter*{#1}\@mkboth{\uppercase{#1}}{\uppercase{#1}} \addcontentsline{toc}{chapter}{#1}} % This is bogus if you use it in a book or report style \def\unnumberedsec#1{\section*{#1}\@mkboth{\uppercase{#1}}{\uppercase{#1}} \addcontentsline{toc}{section}{#1}} \def\unnumberedsubsec#1{\subsection*{#1}\addcontentsline {toc}{subsection}{#1}} \def\unnumberedsubsubsec#1{\subsubsection*{#1}\addcontentsline {toc}{subsubsection}{#1}} \message{verbatim,} % **************************************** % * VERBATIM * % **************************************** % The verbatim environment uses the fixed-width \tt font, turns blanks into % spaces, starts a new line for each carrige return (or sequence of % consecutive carriage returns), and interprets EVERY character literally. % I.e., all special characters \, {, $, etc. are \catcode'd to 'other'. % The command \verb produces in-line verbatim text, where the argument % is delimited by any pair of characters. E.g., \verb #...# takes % '...' as its argument, and sets it verbatim in \tt font. % The *-variants of these commands is the same, except that spaces % print as the TeXbook's space character instead of as blank spaces. {\catcode`\^^M=13 \gdef\@gobblecr{\@ifnextchar {\@gobble}{\ignorespaces}}} {\catcode`\ =\active\gdef\@vobeyspaces{\catcode`\ \active\let \@xobeysp}} % Definition of \@xobeysp chaned on 19 Nov 86 from % \def\@xobeysp{\leavevmode{} } % to prevent line breaks at spaces. Change suggested by % Nelson Beebe \def\@xobeysp{\leavevmode\penalty10000\ } \begingroup \catcode `|=0 \catcode `[= 1 \catcode`]=2 \catcode `\{=12 \catcode `\}=12 \catcode`\\=12 |gdef|@smallxverbatim#1\end{smallverbatim}[#1|end[smallverbatim]] |gdef|@smallsxverbatim#1\end{smallverbatim*}[#1|end[smallverbatim*]] |endgroup \def\@gobble#1{} \def\@smallverbatim{\trivlist \item[]\if@minipage\else\vskip\parskip\fi \leftskip\@totalleftmargin\rightskip\z@ \parindent\z@\parfillskip\@flushglue\parskip\z@ \@tempswafalse \def\par{\if@tempswa\hbox{}\fi\@tempswatrue\@@par} \obeylines \ifcase \@ptsize\relax\nintt\or\tentt\or\elvtt\fi \catcode``=13 \@noligs \let\do\@makeother \dospecials} \def\smallverbatim{\@smallverbatim \frenchspacing\@vobeyspaces \@smallxverbatim} \def\endsmallverbatim{\endtrivlist%\def\baselinestretch{1.0} \@namedef{smallverbatim*}{\@smallverbatim\@smallsxverbatim} \expandafter\let\csname endsmallverbatim*\endcsname =\endtrivlist % Wizardly incantation of the net to include files verbatim % Usage \verbatimfile{filename} % \end{verbatim} \newcommand{\beginverb}{\begin{verbatim}} \newcommand{\inputfile}[1]{\input{#1}} \newcommand{\verbatimfile}[1]{\expandafter\beginverb\inputfile{#1}} \newcommand{\beginsmallverb}{\begin{smallverbatim}} \newcommand{\smallverbatimfile}[1]{\expandafter\beginsmallverb\inputfile{#1}} % Now make all imbedded control L's